$\forall$$M$:MsgA, $x$:Id, $v$:($\mathbb{Q}\rightarrow$$M$.ds($x$)). $M$.init($x$,$v$) $\in$ $\mathbb{P}$